//Not GMS like I guess...
void portal(Player @player, Portal @portal) {
player.changeMap(player.getMap().getID() + 1, "east00");
}